Spreadsheet Interaction with Frames: Exploring a Mathematical Practice

نویسندگان

  • Andrea Kohlhase
  • Michael Kohlhase
چکیده

Since Mathematics really is about what mathematicians do, in this paper, we will look at the mathematical practice of framing , in which an object of interest is viewed in terms of well-understood mathematical structures. The new perspective not only allows to deepen the understanding of a resp. object, it also facilitates new insights. We propose a model for framing in the context of theory graphs, and show how framing can be exploited to enhance the interaction with MKM systems. We use the framing extension of our SACHS system — a semantic help system for MS Excel — as a concrete example.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Teacher Wait-Time and Learner Initiation: A Single Case Analysis

The prevailing pattern of classroom interaction is a tripartite exchange structure known as IRF (teacher initiation, student response, teacher follow-up/feedback; Sinclair & Coulthard, 1975). Although it has its own contributions to classroom discourse, it has been criticized on several grounds, particularly for affording minimum learner participation opportunities (Kasper, 2001). An alternativ...

متن کامل

Coherent Frames

Frames which can be generated by the action of some operators (e.g. translation, dilation, modulation, ...) on a single element $f$ in a Hilbert space, called coherent frames. In this paper, we introduce a class of continuous frames in a Hilbert space $mathcal{H}$ which is indexed by some locally compact group $G$, equipped with its left Haar measure. These frames are obtained as the orbits of ...

متن کامل

Intelligent Mathematical Programming Software: Past, Present, and Future

The practice of mathematical programming has been profoundly affected in recent years by two key trends: the proliferation of powerful and inexpensive computing platforms, and greatly improved solution algorithms. These trends allow experienced mathematical programmers to solve models of much greater scale and complexity than previously possible. But at the same time, these trends have introduc...

متن کامل

SEISMIC OPTIMIZATION OF STEEL MOMENT RESISTING FRAMES CONSIDERING SOIL-STRUCTURE INTERACTION

The main purpose of the present work is to investigate the impact of soil-structure interaction on performance-based design optimization of steel moment resisting frame (MRF) structures. To this end, the seismic performance of optimally designed MRFs with rigid supports is compared with that of the optimal designs with a flexible base in the context of performance-based design. Two efficient me...

متن کامل

The Birthday Problem: Using an Electronic Spreadsheet in a Gentle Introduction to Discrete Mathematics

In elementary probability and statistics classes, a common example is the “Birthday Problem”: In a group of people, what is the probability that at least two people have the same birthday? After the probability has been calculated, it is natural to look for a match by having students announce their birthdays one by one. A question that arose in my class (in which a match was found) was “Why did...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2009